boundedly complete basis

[数] 有界完备基